Meta-Knowledge and Meta-Reasoning
نویسندگان
چکیده
We describe three experiments using meta-language and meta-reasoning to solve problems involving belief, heuristics, and points of view. These experiments use the knowledge representation system SPHERE, built at Hewlett-Packard Laboratories and based on the ideas of FOL [20]. A key idea underlying our research is the segmentation of knowledge into contexts and the meta-linguistic treatment of these contexts as objects.
منابع مشابه
Meta-reasoning for Agents' Private Knowledge Detection
Agent’s meta-reasoning is a computational process that implements agent’s capability to reason on a higher level about another agent or a community of agents. There is a potential for meta-reasoning in multi-agent systems. Meta-reasoning can be used for reconstructing agents’ private knowledge, their mental states and for prediction of their future courses of action. Meta-agents should have the...
متن کاملRetrospective Self-Adaptation of an Agent’s Domain Knowledge: Perceptually-Grounded Semantics for Structural Credit Assignment
AI research on meta-reasoning for agent self-adaptation has generally focused on modifying the agent’s reasoning processes. In this paper, we describe the use of meta-reasoning for retrospective adaptation of the agent’s domain knowledge. In particular, we consider the use of meta-knowledge for structural credit assignment in a classification hierarchy when the classifier makes an incorrect pre...
متن کاملTo Appear in AAAI-08 Workshop on Metareasoning Retrospective Self-Adaptation of an Agent’s Domain Knowledge: Perceptually-Grounded Semantics for Structural Credit Assignment
AI research on meta-reasoning for agent self-adaptation has generally focused on modifying the agent’s reasoning processes. In this paper, we describe the use of meta-reasoning for retrospective adaptation of the agent’s domain knowledge. In particular, we consider the use of meta-knowledge for structural credit assignment in a classification hierarchy when the classifier makes an incorrect pre...
متن کاملStructProc8b: A Language for Scientific Reasoning
Scientific knowledge representation and reasoning presents unique challenges which the computer language community under-appreciates. We present early work on a scientific reasoning environment and knowledge base designed to simultaneously support a community of scientists, to handle scientific knowledge like floating point distributions, meta-data and meta-knowledge, and to treat explanations ...
متن کاملA Module System for Meta-programming 1
1 The need for modules in the development of large programs is well known while meta-programming is widely regarded as a simple yet powerful methodology for knowledge representation and reasoning. Thus if we wish to reason about large knowledge bases, it is desirable that meta-programs should be designed to reason about modular programs. This paper describes a module system which allows the mod...
متن کامل